Coding in AI Era: Adapt Your Methods
dev.to·1h·
Discuss: DEV
🎭Program Synthesis
Flag this post
Domain-specific Languages and Code Synthesis Using Haskell
queue.acm.org·2d·
📐Type Theory
Flag this post
Vibe Coding vs. Natural Language Development
marmelab.com·22h·
Discuss: Hacker News
🎭Program Synthesis
Flag this post
Structured Output Generation in LLMs: JSON Schema and Grammar-Based Decoding
pub.towardsai.net·1d
🌳Tree-sitter
Flag this post
How do you guys recommend learning Zig for beginners?
pedropark99.github.io·1h·
Discuss: r/Zig
⚙️Zig
Flag this post
Generative AI and the P=NP problem
lesswrong.com·14h
🧮SMT Solvers
Flag this post
Reproachfully Presenting Resilient Recursive Descent Parsing
thunderseethe.dev·4d·
📝Parsing
Flag this post
Refactoring Legacy: Part 1 - DTO's & Value Objects
clegginabox.co.uk·10h·
Discuss: r/programming
🎨API Design
Flag this post
ML Systems Textbook by Havard
mlsysbook.ai·5h·
Discuss: Hacker News
🚀MLOps
Flag this post
The “Jankiest” way of writing Ruby gems
mauricio.szabo.link·2h
🔵Clojure
Flag this post
Project 2
github.com·6h·
Discuss: DEV
🌳Git
Flag this post
We designed our new design system
designsystemscollective.com·23h·
Discuss: Hacker News
🎨Design Systems
Flag this post
EP189: How to Design Good APIs
blog.bytebytego.com·14h
🎨API Design
Flag this post
How to Write a Book in Markdown
carlalexander.ca·2d·
Discuss: Hacker News
📝Markdown
Flag this post
Teaching Llama to Write for $0.08
enbao.me·9h·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
How I Created My Own Prompt Library on GitHub (And Why Every Developer Should Too)
amzn.to·3h·
Discuss: DEV
💬Prompt Engineering
Flag this post
Fluidware – an essay on software in the age of generative abundance
createdbyhonesty.com·1d·
🎭Program Synthesis
Flag this post
Omnidirectional type inference for ML: principality any way
arxiv.org·2d
🎯Hindley-Milner
Flag this post